$\forall$$a$:$\mathbb{Q}$, $p$:FinProbSpace, $F$:(Outcome$\rightarrow\mathbb{Q}$). ($\forall$$x$:Outcome. $F$($x$) = $a$) $\Rightarrow$ (weighted{-}sum($p$;$F$) = $a$)